COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	cs258[w82,jmc]		topics for cs258 for winter 1982
C00004 ENDMK
C⊗;
cs258[w82,jmc]		topics for cs258 for winter 1982

replacement of recursive definitions by formulas
with and without bottom

derived functions
universal derived functions

programs as objects

Boyer-Moore, extensions to non-total functions

Prolog, logic programming and proofs of properties of logic programs

Scottery and LCF

blobs

truly invariant assertions

Manna method

continuous functionals

EKL proofs
class project to get good sets of EKL axioms

topics in recursive function theory, set theory and logic

extensional forms

elephant

compiler correctness

axiomatization of eval

permutation programs, matching

literature:
	Stoy, Scott paper
	EKL manual
	my axioms for LISP in EKL
	Malik's EKLISP, Talcott's FOLISP
	Boyer-Moore
	Manna's book

class.dis[258,jjw]
JMC,	; John McCarthy
RSF,	; Ross Finlayson
LAH,	; Lane Hemachandra
PPH,	; Peter Hochschild
GSK,	; George Kong
YM,	; Yoni Malachi
YOM,	; Yoram Moses
MMS,	; Mike Spreitzer
JMV,	; Jean Vandevelde
JJW	; Joe Weening